метод логического вывода

метод логического вывода

 

метод логического вывода
механизм логического вывода
 —
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]

Тематики

  • информационные технологии в целом

Синонимы

  • механизм логического вывода

EN

  • inference engine


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Нужен реферат?

Смотреть что такое "метод логического вывода" в других словарях:

  • Метод индукции — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… …   Википедия

  • Индуктивный метод — метод познания, построенный на индукции (см. Индукция). Предложен Фрэнсисом Бэконом (1561 1626), английским философом, родоначальником английского материализма. В целом индукция выступает у Бэкона не только как один из видов логического вывода,… …   Энциклопедический словарь по психологии и педагогике

  • Индуктивный метод — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… …   Википедия

  • АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… …   Математическая энциклопедия

  • ГЕНЕТИЧЕСКИЙ МЕТОД — способ задания содержания и сущности исследуемого предмета не путем конвенции, идеализации или логического вывода, а с помощью изучения его происхождения (опираясь на изучение причин, приведших к его возникновению, механизм становления). Широко… …   Философия науки: Словарь основных терминов

  • ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД — метод научного познания и рассуждения, основанный на выведении (дедукции) заключений из гипотез и др. посылок, истинностное значение которых неизвестно. Поскольку в дедуктивном рассуждении значение истинности переносится на заключение, а… …   Философская энциклопедия

  • гипотетико-дедуктивный метод —         ГИПОТЕТИКО ДЕДУКТИВНЫЙ МЕТОД (от греч. hypothesis основание, предположение и лат. deductio выведение) метод научного исследования, который сводится к дедуктивному выводу следствий из гипотезы (или системы гипотез) и их эмпирической… …   Энциклопедия эпистемологии и философии науки

  • АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД —     АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД разрешающий метод для проблемы общезначимости формул классической, интуиционистской и модальной (система S4) логики высказываний. В сочетании с некоторыми дополнительными приемами этот метод применим и для… …   Философская энциклопедия

  • Исключения метод — (лог.) один из видов логического доказательства; состоит в перечислении всех частных случаев какого либо общего положения, за исключением одного, и в доказательстве неприменимости их к требуемому выводу; в результате получается уверенность, что… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • Буль, Джордж — В Википедии есть статьи о других людях с такой фамилией, см. Буль. Джордж Буль англ. George Boole …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»